Optimal. Leaf size=199 \[ -\frac {a^2 \sqrt {a^2+2 a b x+b^2 x^2} (a B+3 A b)}{2 x^2 (a+b x)}-\frac {3 a b \sqrt {a^2+2 a b x+b^2 x^2} (a B+A b)}{x (a+b x)}+\frac {b^2 \log (x) \sqrt {a^2+2 a b x+b^2 x^2} (3 a B+A b)}{a+b x}+\frac {b^3 B x \sqrt {a^2+2 a b x+b^2 x^2}}{a+b x}-\frac {a^3 A \sqrt {a^2+2 a b x+b^2 x^2}}{3 x^3 (a+b x)} \]
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 199, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.069, Rules used = {770, 76} \begin {gather*} -\frac {a^2 \sqrt {a^2+2 a b x+b^2 x^2} (a B+3 A b)}{2 x^2 (a+b x)}-\frac {3 a b \sqrt {a^2+2 a b x+b^2 x^2} (a B+A b)}{x (a+b x)}+\frac {b^2 \log (x) \sqrt {a^2+2 a b x+b^2 x^2} (3 a B+A b)}{a+b x}-\frac {a^3 A \sqrt {a^2+2 a b x+b^2 x^2}}{3 x^3 (a+b x)}+\frac {b^3 B x \sqrt {a^2+2 a b x+b^2 x^2}}{a+b x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 76
Rule 770
Rubi steps
\begin {align*} \int \frac {(A+B x) \left (a^2+2 a b x+b^2 x^2\right )^{3/2}}{x^4} \, dx &=\frac {\sqrt {a^2+2 a b x+b^2 x^2} \int \frac {\left (a b+b^2 x\right )^3 (A+B x)}{x^4} \, dx}{b^2 \left (a b+b^2 x\right )}\\ &=\frac {\sqrt {a^2+2 a b x+b^2 x^2} \int \left (b^6 B+\frac {a^3 A b^3}{x^4}+\frac {a^2 b^3 (3 A b+a B)}{x^3}+\frac {3 a b^4 (A b+a B)}{x^2}+\frac {b^5 (A b+3 a B)}{x}\right ) \, dx}{b^2 \left (a b+b^2 x\right )}\\ &=-\frac {a^3 A \sqrt {a^2+2 a b x+b^2 x^2}}{3 x^3 (a+b x)}-\frac {a^2 (3 A b+a B) \sqrt {a^2+2 a b x+b^2 x^2}}{2 x^2 (a+b x)}-\frac {3 a b (A b+a B) \sqrt {a^2+2 a b x+b^2 x^2}}{x (a+b x)}+\frac {b^3 B x \sqrt {a^2+2 a b x+b^2 x^2}}{a+b x}+\frac {b^2 (A b+3 a B) \sqrt {a^2+2 a b x+b^2 x^2} \log (x)}{a+b x}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 88, normalized size = 0.44 \begin {gather*} -\frac {\sqrt {(a+b x)^2} \left (a^3 (2 A+3 B x)+9 a^2 b x (A+2 B x)-6 b^2 x^3 \log (x) (3 a B+A b)+18 a A b^2 x^2-6 b^3 B x^4\right )}{6 x^3 (a+b x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [B] time = 2.04, size = 511, normalized size = 2.57 \begin {gather*} -\frac {1}{2} A \left (b^2\right )^{3/2} \log \left (\sqrt {a^2+2 a b x+b^2 x^2}-a-\sqrt {b^2} x\right )-\frac {1}{2} A \left (b^2\right )^{3/2} \log \left (\sqrt {a^2+2 a b x+b^2 x^2}+a-\sqrt {b^2} x\right )+A b^3 \tanh ^{-1}\left (\frac {\sqrt {b^2} x}{a}-\frac {\sqrt {a^2+2 a b x+b^2 x^2}}{a}\right )-\frac {3}{2} a \sqrt {b^2} b B \log \left (\sqrt {a^2+2 a b x+b^2 x^2}-a-\sqrt {b^2} x\right )-\frac {3}{2} a \sqrt {b^2} b B \log \left (\sqrt {a^2+2 a b x+b^2 x^2}+a-\sqrt {b^2} x\right )+3 a b^2 B \tanh ^{-1}\left (\frac {\sqrt {b^2} x}{a}-\frac {\sqrt {a^2+2 a b x+b^2 x^2}}{a}\right )+\frac {\sqrt {a^2+2 a b x+b^2 x^2} \left (-2 a^3 A b-3 a^3 b B x-9 a^2 A b^2 x-18 a^2 b^2 B x^2-18 a A b^3 x^2+3 a b^3 B x^3+6 b^4 B x^4\right )+\sqrt {b^2} \left (2 a^4 A+3 a^4 B x+11 a^3 A b x+21 a^3 b B x^2+27 a^2 A b^2 x^2+15 a^2 b^2 B x^3+18 a A b^3 x^3-9 a b^3 B x^4-6 b^4 B x^5\right )}{6 x^3 \left (a b+b^2 x\right )-6 \sqrt {b^2} x^3 \sqrt {a^2+2 a b x+b^2 x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.41, size = 75, normalized size = 0.38 \begin {gather*} \frac {6 \, B b^{3} x^{4} + 6 \, {\left (3 \, B a b^{2} + A b^{3}\right )} x^{3} \log \relax (x) - 2 \, A a^{3} - 18 \, {\left (B a^{2} b + A a b^{2}\right )} x^{2} - 3 \, {\left (B a^{3} + 3 \, A a^{2} b\right )} x}{6 \, x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.17, size = 118, normalized size = 0.59 \begin {gather*} B b^{3} x \mathrm {sgn}\left (b x + a\right ) + {\left (3 \, B a b^{2} \mathrm {sgn}\left (b x + a\right ) + A b^{3} \mathrm {sgn}\left (b x + a\right )\right )} \log \left ({\left | x \right |}\right ) - \frac {2 \, A a^{3} \mathrm {sgn}\left (b x + a\right ) + 18 \, {\left (B a^{2} b \mathrm {sgn}\left (b x + a\right ) + A a b^{2} \mathrm {sgn}\left (b x + a\right )\right )} x^{2} + 3 \, {\left (B a^{3} \mathrm {sgn}\left (b x + a\right ) + 3 \, A a^{2} b \mathrm {sgn}\left (b x + a\right )\right )} x}{6 \, x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 96, normalized size = 0.48 \begin {gather*} \frac {\left (\left (b x +a \right )^{2}\right )^{\frac {3}{2}} \left (6 A \,b^{3} x^{3} \ln \relax (x )+18 B a \,b^{2} x^{3} \ln \relax (x )+6 B \,b^{3} x^{4}-18 A a \,b^{2} x^{2}-18 B \,a^{2} b \,x^{2}-9 A \,a^{2} b x -3 B \,a^{3} x -2 A \,a^{3}\right )}{6 \left (b x +a \right )^{3} x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.66, size = 443, normalized size = 2.23 \begin {gather*} 3 \, \left (-1\right )^{2 \, b^{2} x + 2 \, a b} B a b^{2} \log \left (2 \, b^{2} x + 2 \, a b\right ) + \left (-1\right )^{2 \, b^{2} x + 2 \, a b} A b^{3} \log \left (2 \, b^{2} x + 2 \, a b\right ) - 3 \, \left (-1\right )^{2 \, a b x + 2 \, a^{2}} B a b^{2} \log \left (\frac {2 \, a b x}{{\left | x \right |}} + \frac {2 \, a^{2}}{{\left | x \right |}}\right ) - \left (-1\right )^{2 \, a b x + 2 \, a^{2}} A b^{3} \log \left (\frac {2 \, a b x}{{\left | x \right |}} + \frac {2 \, a^{2}}{{\left | x \right |}}\right ) + \frac {3 \, \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2}} B b^{3} x}{2 \, a} + \frac {\sqrt {b^{2} x^{2} + 2 \, a b x + a^{2}} A b^{4} x}{2 \, a^{2}} + \frac {9}{2} \, \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2}} B b^{2} + \frac {3 \, \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2}} A b^{3}}{2 \, a} + \frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {3}{2}} B b^{2}}{2 \, a^{2}} - \frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {3}{2}} A b^{3}}{6 \, a^{3}} - \frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {3}{2}} B b}{2 \, a x} - \frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {3}{2}} A b^{2}}{2 \, a^{2} x} - \frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {5}{2}} B}{2 \, a^{2} x^{2}} + \frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {5}{2}} A b}{6 \, a^{3} x^{2}} - \frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )}^{\frac {5}{2}} A}{3 \, a^{2} x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\left (A+B\,x\right )\,{\left (a^2+2\,a\,b\,x+b^2\,x^2\right )}^{3/2}}{x^4} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (A + B x\right ) \left (\left (a + b x\right )^{2}\right )^{\frac {3}{2}}}{x^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________